Nuprl Definition : list def 13,42
type List is Primitive 
latex

Upcore 1, core 1

origin